Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Model Checking
Formal Methods, State Space Exploration, Temporal Logic, SPIN
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
146401
posts in
32.2
ms
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
10h
✓
Formal Verification
CIll
:
CTI-Guided
Invariant Generation via LLMs for Model Checking
arxiv.org
·
22h
👻
Phantom Types
The
Structural
Navigation Agent: Enforcement Architecture and
Structural
Analysis for Multi-Agent
Coordination
petronus.eu
·
2h
·
Discuss:
DEV
⚓
Anchors
Show HN: Product Model – A structured
grammar
for bridging
PRDs
and code
github.com
·
9h
·
Discuss:
Hacker News
🎨
Design Systems
Differential
Logic
• 15
inquiryintoinquiry.com
·
9h
∘
Category Theory
Complexity of Satisfiability in
Kochen-Specker
Partial Boolean Algebras
arxiv.org
·
22h
🧮
SMT Solvers
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
24m
💬
Prompt Engineering
AI/ML
STIG
Lecture
Series, 2 March 2026
science.nasa.gov
·
14h
📐
Linear Algebra
Benchmarking in Manipulation Research: The
YCB
Object and Model Set
andBenchmarking
Protocols
dev.to
·
2d
·
Discuss:
DEV
⚓
Anchors
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🦀
Rust
How to Design
Environments
for Understanding Model
Motives
lesswrong.com
·
19h
🎲
Deterministic Simulation
Testing AI Agents:
Deterministic
Evaluation
in a
Non-Deterministic
World
sitepoint.com
·
7h
🎲
Deterministic Simulation
Recurrent
Neural Networks (
RNN
) From Scratch: The First Step Toward Modern LLMs
pub.towardsai.net
·
6h
🤖
TVM
extended C*-
algebra
in
nLab
ncatlab.org
·
7h
∘
Category Theory
Relational-Relativity-Corporation/bounded-plasticity-simulation
: Implements invariant relational magnitude constraints that replace conditional branching with a bounded update operator yielding
provable
stability regimes.
github.com
·
3h
·
Discuss:
Hacker News
🕐
Vector Clocks
Make A
Choice
,
Tiger
hackernoon.com
·
8h
🛡️
AI Security
Hyperfunctions
math.columbia.edu
·
10h
λ
Functional Programming
eferro
's random stuff:
Encoding
Experience into AI Skills
eferro.net
·
15h
💬
Prompt Engineering
TorchLean
:
Formalizing
Neural Networks in Lean
leandojo.org
·
2d
·
Discuss:
Hacker News
🔥
PyTorch
Computation
Without
Consequence
psychologytoday.com
·
8h
⚓
Anchors
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help